|
|
Formalization of Integrative Physiology
Mateják, Marek ; Kofránek, Jiří (advisor) ; Kasal, Pavel (referee) ; Otáhal, Jakub (referee)
New information technologies bring with them new possibilities for defining and simulating complex physical systems. A huge amount of progress was made in this field with the Modelica language standard, developed by the worldwide nonprofit Modelica Association. Using the Modelica language specification, new chemical, hydraulic, thermal and population components for human physiology were designed for the implementation of the physiological principles in this thesis. The presented free Modelica libraries was named PHYSIOLIBRARY and CHEMICAL. Similarly to the electrical circuits already implemented in the Modelica Standard Library, it is also possible to connect the components of these libraries to the diagrams and, in this way, define more complex components of physiological systems. Using this kind of implementation, this thesis presents an extension and improvement of the HumMod version 1.6 model, developed at the University of Mississippi Medical Center (Jackson, MS), which has more than 5,000 variables. As a result of the use of graphical diagrams, our implementation is more expandable and more modifiable at each point. The precise rules of connections lead to fewer implementation errors. In addition, the visual verification of the model is achieved, because the physiological connections of...
|
guest ::
